<html>
<body>
<h1>Simulation Control</h1>
<p>
The simulation control panel is the left sub window of 
the simulator. It is used to control the simulation and
to select the (symbolic) state or transition to be 
visualized in the other two windows of the simulator. 
The control panel is divided in two parts:

<p>The upper part is used for performing step-by-step 
simulation. A window displays the enabled transitions, 
with the currently selected transition highlighted. 
Pressing the "Next"-button causes the simulated 
system to take the selected transition. The 
"Reset"-button is used to reset the simulated system 
to its initial state.

<p>The lower part of the control panel has a window 
displaying the generated trace. The displayed trace is 
an alternating sequence of control location vectors and 
transitions. The simulation always progresses from the 
highlighted element in this window. It is possible to
change the selection using the mouse. 

<p>The six buttons below the trace window have the 
following semantics:
<ul>
<li><b>Prev:</b> highlights the element immediately preceding 
  the current selection (if any) in the trace.
<li><b>Next:</b> highlights the element immediately following
  the current selection (if any) in the trace.
<li><b>Replay:</b> replays the trace starting from the currently
  selected element.
<li><b>Open:</b> opens a file selector window for loading a trace
  from file.
<li><b>Save:</b> opens a file selector for saving the current
  trace on file.
<li><b>Random:</b> starts a random simulation where the 
  simulator proceed automatically by randomly selecting 
  enabled transitions.
</ul>

<p>The slider at the bottom of the control panel is used for
controlling the speed used when traces are replayed  
and when random simulation is performed.

</body>
</html>
